Journal of Automated Reasoning
Journal of Automated Reasoning > 2011 > 46 > 1 > 43-80
Journal of Automated Reasoning > 2011 > 46 > 1 > 81-102
Journal of Automated Reasoning > 2011 > 46 > 1 > 1-42
Journal of Automated Reasoning > 2011 > 46 > 2 > 205-221
Journal of Automated Reasoning > 2011 > 46 > 2 > 161-203
Journal of Automated Reasoning > 2011 > 46 > 2 > 103-160
Journal of Automated Reasoning > 2011 > 46 > 3-4 > 225-259
Journal of Automated Reasoning > 2011 > 46 > 3-4 > 353-388
Journal of Automated Reasoning > 2011 > 46 > 3-4 > 325-352
Journal of Automated Reasoning > 2011 > 46 > 3-4 > 293-323
Journal of Automated Reasoning > 2011 > 46 > 3-4 > 389-421
Journal of Automated Reasoning > 2011 > 46 > 3-4 > 261-291
Journal of Automated Reasoning > 2011 > 47 > 1 > 1-16
Journal of Automated Reasoning > 2011 > 47 > 1 > 57-105
Journal of Automated Reasoning > 2011 > 47 > 1 > 17-56
Journal of Automated Reasoning > 2011 > 47 > 2 > 161-189
Journal of Automated Reasoning > 2011 > 47 > 2 > 191-227
Journal of Automated Reasoning > 2011 > 47 > 2 > 133-160